Felix Klein and Abraham Fraenkel each formulated a criterion for a theory of infinitesimals to be successful, in terms of the feasibility of implementation of the Mean Value Theorem. We explore the evolution of the idea over the past century, and the role of Abraham Robinson's framework therein.

In this paper a class of languages which are formal enough for mathematical reasoning is introduced. Its languages are called mathematically agreeable. Languages containing a given MA language L, and being sublanguages of L augmented by a monadic predicate, are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of those languages. MTT makes them fully interpreted MA languages which posses their own truth predicates. MTT is shown to conform well with the eight norms formulated for theories (...) of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)', by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. Main tools used in proofs are Zermelo-Fraenkel (ZF) set theory and classical logic. (shrink)

In this paprer a class of so called mathematically acceptable (shortly MA) languages is introduced First-order formal languages containing natural numbers and numerals belong to that class. MA languages which are contained in a given fully interpreted MA language augmented by a monadic predicate are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of these languages. MTT makes them fully interpreted MA languages which posses their own truth predicates, yielding consequences to philosophy of mathematics. MTT is (...) shown to conform well with the eight norms presented for theories of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)' by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. (shrink)

A possible world is a junky world if and only if each thing in it is a proper part. The possibility of junky worlds contradicts the principle of general fusion. Bohn (2009) argues for the possibility of junky worlds, Watson (2010) suggests that Bohn‘s arguments are flawed. This paper shows that the arguments of both authors leave much to be desired. First, relying on the classical results of Cantor, Zermelo, Fraenkel, and von Neumann, this paper proves the possibility of (...) junky worlds for certain weak set theories. Second, the paradox of Burali-Forti shows that according to the Zermelo-Fraenkel set theory ZF, junky worlds are possible. Finally, it is shown that set theories are not the only sources for designing plausible models of junky worlds: Topology (and possibly other "algebraic" mathematical theories) may be used to construct models of junky worlds. In sum, junkyness is a relatively widespread feature among possible worlds. (shrink)

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...) existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is (...) genuinely logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. (...) In the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

This paper introduces the theory QST of quasets as a formal basis for the Nmatrices. The main aim is to construct a system of Nmatrices by substituting standard sets by quasets. Since QST is a conservative extension of ZFA (the Zermelo-Fraenkel set theory with Atoms), it is possible to obtain generalized Nmatrices (Q-Nmatrices). Since the original formulation of QST is not completely adequate for the developments we advance here, some possible amendments to the theory are also considered. One of (...) the most interesting traits of such an extension is the existence of complementary quasets which admit elements with undetermined membership. Such elements can be interpreted as quantum systems in superposed states. We also present a relationship of QST with the theory of Rough Sets RST, which grants the existence of models for SQT formed by rough sets. Some consequences of the given formalism for the relation of logical consequence are also analysed. (shrink)

In this paper, I consider the use of mathematical results in philosophical arguments arriving at conclusions with non-mathematical content, with the view that in general such usage requires additional justification. As a cautionary example, I examine Kreisel’s arguments that the Continuum Hypothesis is determined by the axioms of Zermelo-Fraenkel set theory, and interpret Weston’s 1976 reply as showing that Kreisel fails to provide sufficient justification for the use of his main technical result. If we take the perspective that mathematical (...) results are used in the context of a modelling of something not necessarily mathematical, then the situation is clarified somewhat, and the procedure for arriving at justification for the use of such results becomes clear. I give an example of a particularly strong form this justification might take, using the idea of formalism independence due to Gödel and Kennedy. (shrink)

Para matemáticos interesados en problemas de fundamentos, lógico-matemáticos y filósofos de la matemática, el axioma de elección es centro obligado de reflexión, pues ha sido considerado esencial en el debate dentro de las posiciones consideradas clásicas en filosofía de la matemática (intuicionismo, formalismo, logicismo, platonismo), pero también ha tenido una presencia fundamental para el desarrollo de la matemática y metamatemática contemporánea. Desde una posición que privilegia el quehacer matemático, nos proponemos mostrar los aportes que ha tenido el axioma en varias (...) áreas fundamentales de la matemática, su aplicación en la lógica de primer orden, así como una breve descripción de las pruebas de consistencia relativa debidas a Gödel y Cohen, las cuales establecieron su independencia del sistema axiomático Zermelo-Fraenkel (ZF). Con todo lo anterior mostraremos cómo el quehacer matemático contemporáneo se adscribe al platonismo matemático en los términos de Bernays y Ferreirós. Revisaremos también los argumentos de Zermelo y Cantor para permitir el uso de asunciones en la matemática, los cuales se acercan a los planteamientos de la investigación científica y esbozan relaciones con la filosofía de la práctica matemática. Finalmente, justificamos el uso del axioma de elección en la contemporaneidad, abogando por unas relaciones de equidad entre la matemática y la filosofía, presentando además su plena vigencia, a través de la referencia a algunos problemas abiertos en la actualidad que vinculan el axioma de elección con la teoría de Ramsey. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

“Neutrosophics Knowledge” has been created for publications on advanced studies in neutrosophy, neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics that started in 1995 and their applications in any field, such as the neutrosophic structures developed in algebra, geometry, topology, etc. The submitted papers should be professional, in good English and Arabic, containing a brief review of a problem and obtained results. Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities, as well as (...) their interactions with different ideational spectra. (shrink)

Abstract: Samples of LaxSr1-xMnO3 (x = 0.5, 0.55, 0.6, 0.66, and 0.7) were prepared by the citrate-nitrate autocombustion method. The prepared nano-particles were investigated and characterized using X-Ray diffraction (XRD) and Transmission Electron Microscopy (TEM) to confirm the formation of the samples in single phase without any impurities and to calculate the particle size. The magnetic susceptibility χM was measured as a function of temperature and magnetic field intensity. From χM(T) and M(H) the saturation magnetization (Ms), remanent magnetization (Mr) and (...) coercivity (Hc) of the samples were estimated. The correlation among physical properties and the ratio of divalent cation substitution was discussed and reported to shed more light on technological applications of the investigated samples. (shrink)

A. A. Long, one of the world's leading writers on ancient philosophy, presents eighteen essays on the philosophers and schools of the Hellenistic and Roman periods--Epicureans, Stoics, and Sceptics. The discussion ranges over four centuries of innovative and challenging thought in ethics and politics, psychology, epistemology, and cosmology.

In this paper, we present an expansion of one of the well-known classical inventory management models, which is the static model of inventory management without a deficit and for a single substance, based on the neutrosophic logic, where we provide through this study a basis for dealing with all data, whether specific or undefined in the field of inventory management, as it provides safe environment to manage inventory without running into deficit , and give us an approximate ideal volume of (...) inventory. Since the ideal size is affected by the rate of demand for inventory, we present in this paper a study of the rate of demand for inventory when it is not precisely refined, and we find that the indeterminate values of the demand rate cannot be ignored, because they actually affect determining the ideal size of inventory and calculating its costs, thus affecting on the efficiency of the facility and achieve great profits for it. (shrink)

This paper is an attempt of proposing the processing approach of neutrosophic technique in image processing.

It seems natural to choose whether to have a child by reflecting on what it would be like to actually have a child. I argue that this natural approach fails. If you choose to become a parent, and your choice is based on projections about what you think it would be like for you to have a child, your choice is not rational. If you choose to remain childless, and your choice is based upon projections about what you think it (...) would be like for you to have a child, your choice is not rational. This suggests we should reject our ordinary conception of how to make this life-changing decision, and raises general questions about how to rationally approach important life choices. (shrink)

The emergence of coronavirus disease (COVID-19) from Wuhan city of China engulfed almost the entire world and created a global pandemic. Several countries declared this pandemic as national emergency, forcing millions of people to go into lockdown. This sudden social isolation has caused enormous disruption of daily routine for the global community, especially children. To minimize the transmission of this virus all the educational institutions were closed and moved to online learning to encourage and adhere to social distancing guidelines issued (...) by the authorities from time to time. This abrupt change in the learning environment, restrictions in social interaction and other activities caused unusual situation in the development of child brain. Therefore, it is important and obligatory for the scientific community and healthcare workers to access and analyse the impact of Covid -19 pandemic on the mental health of children. The present article is a case study and was conducted in Doda of Jammu and Kashmir regarding the impact of quarantine on the children. (shrink)

This classic collection of essays, first published in 1968, represents H.L.A. Hart's landmark contribution to the philosophy of criminal responsibility and punishment. Unavailable for ten years, this new edition reproduces the original text, adding a new critical introduction by John Gardner, a leading contemporary criminal law theorist.

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (shrink)

Two studies demonstrate that a dispositional proneness to disgust (“disgust sensitivity”) is associated with intuitive disapproval of gay people. Study 1 was based on previous research showing that people are more likely to describe a behavior as intentional when they see it as morally wrong (see Knobe, 2006, for a review). As predicted, the more disgust sensitive participants were, the more likely they were to describe an agent whose behavior had the side effect of causing gay men to kiss in (...) public as having intentionally encouraged gay men to kiss publicly— even though most participants did not explicitly think it wrong to encourage gay men to kiss in public. No such effect occurred when subjects were asked about heterosexual kissing. Study 2 used the Implicit Association Test (IAT; Nosek, Banaji, & Greenwald, 2006) as a dependent measure. The more disgust sensitive participants were, the more they showed.. (shrink)

Recent philosophical attention to climate models has highlighted their weaknesses and uncertainties. Here I address the ways that models gain support through observational data. I review examples of model fit, variety of evidence, and independent support for aspects of the models, contrasting my analysis with that of other philosophers. I also investigate model robustness, which often emerges when comparing climate models simulating the same time period or set of conditions. Starting from Michael Weisberg’s analysis of robustness, I conclude that his (...) approach involves a version of reasoning from variety of evidence, enabling this robustness to be a confirmatory virtue.. (shrink)

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. They (...) point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

In recent decades, Information and Communication Technology (ICT) has been advanced and widely spread around the globe in addition to ICT revolution and technological advances are considered the major role in the evolution of modern age, which is called "Digital Transformation Age". Therefore, Electronic Technology (E-Technology) has become one of the most prominent approaches such as Electronic Learning (E-Learning), Electronic Training (E-Training), Mobile Learning (M-Learning), Virtual Lab (V-Lab), Virtual University, etc. E-Technology includes some features, for instance anyone, anywhere, anytime and (...) reducing of geographical barriers. ETechnology is a great trend and influences many fields and sectors such as Learning, Training, Military, Navy, Aviation, Medicine, and Digital space. According to nature of usage, E-Technology can be used in positive or negative trends. E-Technology is considered as a valuable tool in providing several opportunities for learning and training processes for individuals and organizations, especially in critical issues. Finally, we give a quick overview of neutrosophic data and some recent applications. (shrink)

In this paper, we introduce and study the concept of" neutrosophic closed set" and" neutrosophic continuous function". Possible application to GIS topology rules are touched upon.

The objective of this paper is to develop neutrosophic quadruple algebraic hyperstructures. Specifically, we develop neutrosophic quadruple semihypergroups, neutrosophic quadruple canonical hypergroups and neutrosophic quadruple hyperrings and we present elementary properties which characterize them.

I demonstrate that a "speech act" theory of meaning for imperatives is—contra a dominant position in philosophy and linguistics—theoretically desirable. A speech act-theoretic account of the meaning of an imperative !φ is characterized, broadly, by the following claims. -/- LINGUISTIC MEANING AS USE !φ’s meaning is a matter of the speech act an utterance of it conventionally functions to express—what a speaker conventionally uses it to do (its conventional discourse function, CDF). -/- IMPERATIVE USE AS PRACTICAL !φ's CDF is to (...) express a practical (non-representational) state of mind—one concerning an agent's preferences and plans, rather than her beliefs. -/- Opposed to speech act accounts is a preponderance of views which deny that a sentence's linguistic meaning is a matter of what speech act it is used to perform, or its CDF. On such accounts, meaning is, instead, a matter of "static" properties of the sentence—e.g., how it depicts the world as being (or, more neutrally, the properties of a model-theoretic object with which the semantic value of the sentence co-varies). On one version of a static account, an imperative 'shut the window!' might, for instance, depict the world as being such that the window must be shut. -/- Static accounts are traditionally motivated against speech act-theoretic accounts by appeal to supposedly irremediable explanatory deficiencies in the latter. Whatever a static account loses in saying (prima facie counterintuitively) that an imperative conventionally represents, or expresses a picture of the world, is said to be offset by its ability to explain a variety of phenomena for which speech act-theoretic accounts are said to lack good explanations (even, in many cases, the bare ability to offer something that might meet basic criteria on what a good explanation should be like). -/- I aim to turn the tables on static accounts. I do this by showing that speech act accounts are capable of giving explanations of phenomena which fans of static accounts have alleged them unable to give. Indeed, for a variety of absolutely fundamental phenomena having to do with the conventional meaning of imperatives (and other types of practical language), speech act accounts provide natural and theoretically satisfying explanations, where a representational account provides none. (shrink)

This paper considers ten questions that those puzzled by or skeptical of extended cognition have posed. Discussion of these questions ranges across substantive, methodological, and dialectical issues in the ongoing debate over extended cognition, such as whether the issue between proponents and opponents of extended cognition is merely semantic or a matter of convention; whether extended cognition should be treated in the same way as extended biology; and whether conscious mental states pose a special problem for the extended mind thesis. (...) Lethocerus, the giant water bug, will be a recurrent reference point for much of the discussion. (shrink)

Excellence in sport performance is normally taken to be a matter of superior performance of physical movements or quantitative outcomes of movements. This paper considers whether a wider conception can be afforded by certain kinds of nature based sport. The interplay between technical skill and aesthetic experience in nature based sports is explored, and the extent to which it contributes to a distinction between different sport-based approaches to natural environments. The potential for aesthetic appreciation of environmental engagement is found to (...) be strongly dependent on whether or not environmental engagement is exploited for the end of producing a quantifiable result or enhancing technical skill. It is also argued that an existential rather than spectatorial attitude to aesthetic experience is offered by specifically nature oriented sport. Aesthetic experience achieved in this way is therefore neither passive nor detached, but extends Berleant's concept of participatory environmental aesthetics and underpins both an alternate (wide) conception of excellence in sport activity and a richer experience of aesthetic engagement than more objectivised standpoints. (shrink)

What individuates the speech act of prediction? The standard view is that prediction is individuated by the fact that it is the unique speech act that requires future-directed content. We argue against this view and two successor views. We then lay out several other potential strategies for individuating prediction, including the sort of view we favor. We suggest that prediction is individuated normatively and has a special connection to the epistemic standards of expectation. In the process, we advocate some constraints (...) that we think a good theory of prediction should respect. (shrink)

ABSTRACTThis essay offers a reconfiguration of the possibility‐space of positions regarding the metaphysics and epistemology associated with historical knowledge. A tradition within analytic philosophy from Danto to Dummett attempts to answer questions about the reality of the past on the basis of two shared assumptions. The first takes individual statements as the relevant unit of semantic and philosophical analysis. The second presumes that variants of realism and antirealism about the past exhaust the metaphysical options . This essay argues that both (...) of these assumptions should be rejected. It develops as an alternative an irrealist account of history, a view based in part on work by Leon Goldstein and Ian Hacking. On an irrealist view, historical claims ought to be treated as subject to the same conditions and caveats that apply to any theory of empirical or scientific knowledge. Irrealism argues for pasts as made and not found. The argument emphasizes the priority of classification over perception in the order of understanding and so verification. Because nothing a priori anchors practices of classification, no sense can be attached to claims that some single structure must or does determine what events take place in human history. Irrealism denies to realism the very intelligibility of any imagined view from nowhere, that is, a determinately configured past subsisting sub specie aeternitatis. A plurality of pasts exists because constituting a past always depends to some degree on socially mediated negotiations of a fit between descriptions and experience. (shrink)

In a recent paper, Giubilini and Minerva argue for the moral permissibility of what they call ‘after-birth abortion’, or infanticide. Here I suggest that they actually employ a confusion of two distinct arguments: one relying on the purportedly identical moral status of a fetus and a newborn, and the second giving an independent argument for the denial of moral personhood to infants (independent of whatever one might say about fetuses). After distinguishing these arguments, I suggest that neither one is capable (...) of supporting Giubilini and Minerva's conclusion. The first argument is at best neutral between permitting infanticide and prohibiting abortion, and may in fact more strongly support the latter. The second argument, I suggest, contains an ambiguity in its key premise, and can be shown to fail on either resolution of that ambiguity. Hence, I conclude that Giubilini and Minerva have not demonstrated the permissibility of infanticide, or even great moral similarity between abortion and infanticide. (shrink)

This article makes a case for the capacity of "social practice" accounts of agency and freedom to criticize, resist, and transform systemic forms of power and domination from within the context of religious and political practices and institutions. I first examine criticisms that Michel Foucault's analysis of systemic power results in normative aimlessness, and then I contrast that account with the description of agency and innovative practice that pragmatist philosopher Robert Brandom identifies as "expressive freedom." I argue that Brandom can (...) provide a normative trajectory for Foucault's diagnoses of power and domination, helping to resolve its apparent lack of ethical direction. I demonstrate that Foucault, in turn, presents Brandom with insights that might overcome the charges of abstraction and conservatism that his pragmatic inferentialism frequently encounters. The result is a vindication of social practice as an analytical lens for social criticism that is at once both immanent and radical. (shrink)

False belief tasks have enjoyed a monopoly in the research on children’s development of a theory of mind. They have been granted this status because they promise to deliver an unambiguous assessment of children’s understanding of the representational nature of mental states. Their poor cousins, true belief tasks, have been relegated to occasional service as control tasks. That this is their only role has been due to the universal assumption that correct answers on true belief tasks are inherently ambiguous regarding (...) the level of the child’s understanding of mental states. It has also been due to the universal assumption that nothing in the child’s developing theory of mind would lead to systematically incorrect answers on true belief tasks. We review new findings that 4- and 5-year-olds do err, systematically and profoundly, on the true belief versions of all the extant belief tasks. This reveals an intermediate level of understanding in the development of children’s theory of mind. Researchers have been unaware of this intermediate level because it produces correct answers in false belief tasks. A simple two-task battery—one true belief task and one false belief task—is sufficient to remove the ambiguity from each task. The new findings show that children do not acquire an understanding of beliefs, and hence a representational theory of mind, until after 6 years of age, or 2 years later than most developmental psychologists have concluded. This raises the question of how to interpret other new findings that infants are able to pass false belief tasks. We review these new infant studies, as well as recent studies on chimpanzees, in light of older children’s failure on true belief tasks, and end with some speculation about how all of these new findings might be reconciled. (shrink)

Next SectionThis article argues against two dominant accounts of the nature of nostalgia. These views assume that nostalgia depends, in some way, on comparing a present situation with a past one. However, neither does justice to the full range of recognizably nostalgic experiences available to us – in particular, ‘Proustian’ nostalgia directed at involuntary autobiographical memories. Therefore, the accounts in question fail. I conclude by considering an evaluative puzzle raised by Proustian nostalgia when it is directed at memories that the (...) nostalgist herself regards as non-veridical. (shrink)

Kant's notion of ‘discipline’ has received considerable attention from scholars of his philosophy of education, but its role in his theoretical philosophy has been largely ignored. This omission is surprising since his discussion of discipline in the first Critique is not only more extensive and expansive in scope than his other discussions but also predates them. The goal of this essay is to provide a comprehensive reading of the Discipline that emphasizes its systematic importance in the first Critique. I argue (...) that its goal is to establish a set of rules for the use of pure reason that, if followed, will mitigate and perhaps even eliminate our tendency to make judgments about supersensible objects. Since Kant's justification for these rules relies crucially on claims he has defended in the Doctrine of Elements, I argue further that, far from being a dispensable part of the Critique as commentators have tended to claim, the Discipline is, in fact, the culmination of Kant's critique of metaphysics. (shrink)

In this paper I consider two related issues raised by Aristotle 's treatment of hearing and sounds. The first concerns the kinds of changes Aristotle takes to occur, in both perceptual medium and sense organs, when a perceiver hears a sounding object. The second issue concerns Aristotle 's views on the nature and location of the proper objects of auditory perception. I argue that Aristotle 's views on these topics are not what they have sometimes been taken to be, and (...) that when rightly understood they compare favourably in many respects with leading contemporary accounts. (shrink)

A plausible explanation of the wrongfulness of threatening, advanced most explicitly by Mitchell Berman, is that the wrongfulness of threatening derives from the wrongfulness of the act threatened. This essay argues that this explanation is inadequate. We can learn something important about the wrongfulness of threatening (with implications for thinking about coercion) by comparing credible threats to some other claims of impending harm. A credible bluff threat to do harm is likely to be more and differently wrongful than making intentionally (...) false warnings about other sources of harm. This essay surveys some examples to secure this point, shows that Berman's moralized account of their wrongfulness is wanting, and offers the outline of an approach better suited to explain the wrongfulness of threatening.1. (shrink)

In a world that is overflowing with journals and other outlets for scientific publication, the appearance of any new periodical requires some justification. There are already more journals than we can read and more conferences than we can attend. In the case of applied Ontology, we believe that the creation of anew journal not only is completely justifiable, it is downright exciting. For too long, workers in computer science have assumed that content comes for free. “Theory” in computer science has (...) always meant the theory of processes and of computation. We measure the complexity of computer programs in terms of how long it takes machines to execute them, not in terms of how long it takes people to understand and to represent the data on which those programs might operate. We typically describe computer code in terms of algorithms that operate on formal parameters, often without pausing to discuss where the data that might satisfy those parameters come from. This journal was founded on the premise that workers in computer science, informatics, and information science are overdue in paying as much attention to contents as they do to algorithms. (shrink)

this requirement for adaptations. Emergent characters are always potential adaptations. Not all selection processes produce adaptations, however. The key issue, in delineating a selection process, is the relationship between a character and fitness. The emergent character approach is more restrictive than alternative schemas that delineate selection..

Our approach is based on a tri-partite method of integrating psychodynamic hypotheses, cognitive subliminal processes, and psychophysiological alpha power measures. We present ten social phobic subjects with three individually selected groups of words representing unconscious conflict, conscious symptom experience, and Osgood Semantic negative valence words used as a control word group. The unconscious conflict and conscious symptom words, presented subliminally and supraliminally, act as primes preceding the conscious symptom and control words presented as supraliminal targets. With alpha power as a (...) marker of inhibitory brain activity, we show that unconscious conflict primes, only when presented subliminally, have a unique inhibitory effect on conscious symptom targets. This effect is absent when the unconscious conflict primes are presented supraliminally, or when the target is the control words. Unconscious conflict prime effects were found to correlate with a measure of repressiveness in a similar previous study (Shevrin et al., 1992, 1996). Conscious symptom primes have no inhibitory effect when presented subliminally. Inhibitory effects with conscious symptom primes are present, but only when the primes are supraliminal, and they did not correlate with repressiveness in a previous study (Shevrin et al., 1992, 1996). We conclude that while the inhibition following supraliminal conscious symptom primes is due to conscious threat bias, the inhibition following subliminal unconscious conflict primes provides a neurological blueprint for dynamic repression: it is only activated subliminally by an individual's unconscious conflict and has an inhibitory effect specific only to the conscious symptom. These novel findings constitute neuroscientific evidence for the psychoanalytic concepts of unconscious conflict and repression, while extending neuroscience theory and methods into the realm of personal, psychological meaning. (shrink)

Kant's response to scepticism in the Critique of Pure Reason is complex and remarkably nuanced, although it is rarely recognized as such. In this paper, I argue that recent attempts to flesh out the details of this response by Paul Guyer and Michael Forster do not go far enough. Although they are right to draw a distinction between Humean and Pyrrhonian scepticism and locate Kant's response to the latter in the Transcendental Dialectic, their accounts fail to capture two important aspects (...) of this response. The first is that Kant's response to Pyrrhonian scepticism is also a response to Hume. The second is that aspects of this response are decidedly positive. In particular, I argue (1) that Kant believed Hume's scepticism manifested important elements of Pyrrhonian scepticism and (2) that both Pyrrhonian scepticism and Hume had a significant positive influence on the development of the Transcendental Dialectic. (shrink)

In this paper, I consider how each of the four main kinds of corrupt person described in Plato's Republic, Books 8-9, first comes to be. Certain passages in these books can give the impression that each person is able to determine, by a kind of rational choice, the overall government of his/her soul. However, I argue, this impression is mistaken. Upon careful examination, the text of books 8 and 9 overwhelmingly supports an alternative interpretation. According to this view, the eventual (...) government of each person’s soul is decided by a struggle for power occurring within the person, among the soul’s parts, the outcome of which is determined by the relative strength and alignment of the competing parties. If this interpretation is correct, Plato adheres more closely to the city-soul analogy in these passages than has sometimes been thought. The ultimate origins of vice in the soul are also seen to lie squarely in upbringing and education, not in a mistaken choice of life. (shrink)

Carl Gillett has defended what he calls the “dimensioned” view of the realization relation, which he contrasts with the traditional “flat” view of realization (2003, 2007; see also Gillett 2002). Intuitively, the dimensioned approach characterizes realization in terms of composition whereas the flat approach views realization in terms of occupiers of functional roles. Elsewhere we have argued that the general view of realization and multiple realization that Gillett advances is not able to discharge the theoretical duties of those relations (Shapiro (...) 2004, unpublished manuscript; Polger 2004, 2007, forthcoming). Here we focus on an internal objection to Gillett’s account and then raise some broader reasons to reject it. (shrink)

Hume’s account of causation is often regarded a challenge Kant must overcome if the Critical philosophy is to be successful. But from Kant’s time to the present, Hume’s denial of our ability to cognize supersensible objects, a denial that relies heavily on his account of causation, has also been regarded as a forerunner to Kant’s critique of metaphysics. After identifying reasons for rejecting Wayne Waxman’s recent account of Kant’s debt to Hume, I present my own, more modest account of this (...) debt, an account that seeks to unite the two very different pictures of Kant’s relationship to Hume sketched above. (shrink)

Eric Watkins has argued on philosophical, textual, and historical grounds that Kant’s account of causation in the first Critique should not be read as an attempt to refute Hume’s account of causation. In this paper, I challenge the arguments for Watkins’ claim. Specifically, I argue (1) that Kant’s philosophical commitments, even on Watkins’ reading, are not obvious obstacles to refuting Hume, (2) that textual evidence from the “Disciple of Pure Reason” suggests Kant conceived of his account of causation as such (...) a refutation, and (3) that none of Hume’s early German critics provided responses to this account that would have satisfied Kant. Watkins’ reading of Kant’s account of causation is thus more compatible with traditional views about Kant’s relationship to Hume than Watkins believes. (shrink)

We present in this paper the neutrosophic randomized variables, which are a generalization of the classical random variables obtained from the application of the neutrosophic logic (a new nonclassical logic which was founded by the American philosopher and mathematical Florentin Smarandache, which he introduced as a generalization of fuzzy logic especially the intuitionistic fuzzy logic ) on classical random variables. The neutrosophic random variable is changed because of the randomization, the indeterminacy and the values it takes, which represent the possible (...) results and the possible indeterminacy. Then we classify the neutrosophic randomized variables into two types of discrete and continuous neutrosophic random variables and we define the expected value and variance of the neutrosophic random variable then offer some illustrative examples. -/- . (shrink)

There is a tendency in contemporary jurisprudence to regard political authority and, more particularly, legal intervention in human affairs as having no justification unless it can be defended by what Laing calls the principle of modern liberal autonomy (MLA). According to this principle, if consenting adults want to do something, unless it does specific harm to others here and now, the law has no business intervening. Harm to the self and general harm to society can constitute no justification for legal (...) regulation or prohibition. So pervasive is this understanding of legal intervention in human affairs, that it is common now to encounter arguments in favour of permissive laws on, for example, private drug use, pornography, sexual and reproductive choice, based on the idea that to intervene in these areas would constitute a breach of the liberal ideal. The only alternative to modern liberal autonomy is assumed to be radical oppression, in which the State intervenes in the individual’s life to impose unwarranted measures designed to further its own ends. The legacy of Stalin, Hitler and other modern tyrants has undermined conceptual appeals to the common good. So widespread is this liberal assumption in the Western, English-speaking world that critics of the outlook embodied by MLA are customarily regarded with suspicion and charged with paternalism, narrow-mindedness and intolerance. Laing highlights contradictions inherent in the modern liberal tradition. She argues that there is a certain reliance on the notion of the common good within the natural law tradition that is instructive. According to this view, the common good constitutes a mean between two extremes: on the one hand, contemporary liberalism’s over-insistence on radical individual autonomy and, on the other hand, totalitarianism’s over-emphasis on collective social benefit. There is, I will argue, substantial terrain between the conceptual excesses of modern liberalism and oppressive tyranny that needs to be acknowledged and discussed. (shrink)